home *** CD-ROM | disk | FTP | other *** search
/ PC Professionell 2005 February / PCpro_2005_02.ISO / files / opensource / jEdit_4.2 / jedit42install.exe / {app} / jars / LatestVersion.jar / LatestVersionPlugin.class (.txt) < prev   
Encoding:
Java Class File  |  2003-07-23  |  2.0 KB  |  65 lines
  1. import java.io.BufferedReader;
  2. import java.io.IOException;
  3. import java.io.InputStream;
  4. import java.io.InputStreamReader;
  5. import java.net.URL;
  6. import org.gjt.sp.jedit.EditPlugin;
  7. import org.gjt.sp.jedit.GUIUtilities;
  8. import org.gjt.sp.jedit.MiscUtilities;
  9. import org.gjt.sp.jedit.View;
  10. import org.gjt.sp.jedit.jEdit;
  11.  
  12. public class LatestVersionPlugin extends EditPlugin {
  13.    public static void doVersionCheck(View var0) {
  14.       var0.showWaitCursor();
  15.  
  16.       try {
  17.          URL var1 = new URL(jEdit.getProperty("version-check.url"));
  18.          InputStream var8 = var1.openStream();
  19.          BufferedReader var3 = new BufferedReader(new InputStreamReader(var8));
  20.          String var5 = null;
  21.          String var6 = null;
  22.  
  23.          String var4;
  24.          while((var4 = var3.readLine()) != null) {
  25.             if (var4.startsWith(".build")) {
  26.                var5 = var4.substring(6).trim();
  27.             } else if (var4.startsWith(".stablebuild")) {
  28.                var6 = var4.substring(12).trim();
  29.             }
  30.          }
  31.  
  32.          var3.close();
  33.          if (var5 != null && var6 != null) {
  34.             doVersionCheck(var0, var6, var5);
  35.          }
  36.       } catch (IOException var7) {
  37.          String[] var2 = new String[]{jEdit.getProperty("version-check.url"), var7.toString()};
  38.          GUIUtilities.error(var0, "read-error", var2);
  39.       }
  40.  
  41.       var0.hideWaitCursor();
  42.    }
  43.  
  44.    public static void doVersionCheck(View var0, String var1, String var2) {
  45.       String var3 = jEdit.getBuild();
  46.       String var4 = var3.substring(6, 7);
  47.       String var5;
  48.       if (var4.equals("99")) {
  49.          var5 = "stable";
  50.       } else {
  51.          var5 = "devel";
  52.       }
  53.  
  54.       if (var2.compareTo(var1) < 0) {
  55.          var5 = var5 + "-nodevel";
  56.       }
  57.  
  58.       int var7 = GUIUtilities.confirm(var0, "version-check." + var5, new String[]{MiscUtilities.buildToVersion(var3), MiscUtilities.buildToVersion(var1), MiscUtilities.buildToVersion(var2)}, 0, 3);
  59.       if (var7 == 0) {
  60.          jEdit.openFile(var0, jEdit.getProperty("version-check.url"));
  61.       }
  62.  
  63.    }
  64. }
  65.